An Operator for Symmetry Representation and Exploitation in Stochastic Process Algebras
نویسنده
چکیده
Stochastic process algebras have been introduced to enable compositional performance analysis. State space explosion is a frequently observed problem, especially if the system consists of many cooperating components. This paper introduces symmetric parallel composition, an operator to specify a set of identical components that are cooperating in parallel. Its operational semantics is consistent with usual parallel composition whereas the state space explosion problem is drastically reduced. We highlight this fact by means of a comparative case study.
منابع مشابه
Positive Cone in $p$-Operator Projective Tensor Product of Fig`a-Talamanca-Herz Algebras
In this paper we define an order structure on the $p$-operator projective tensor product of Herz algebras and we show that the canonical isometric isomorphism between $A_p(Gtimes H)$ and $A_p(G)widehat{otimes}^p A_p(H)$ is an order isomorphism for amenable groups $G$ and $H$.
متن کاملSecond dual space of little $alpha$-Lipschitz vector-valued operator algebras
Let $(X,d)$ be an infinite compact metric space, let $(B,parallel . parallel)$ be a unital Banach space, and take $alpha in (0,1).$ In this work, at first we define the big and little $alpha$-Lipschitz vector-valued (B-valued) operator algebras, and consider the little $alpha$-lipschitz $B$-valued operator algebra, $lip_{alpha}(X,B)$. Then we characterize its second dual space.
متن کاملA Lax Operator Hierarchy for the New Fifth Order Integrable System
We consider the Lax representation of the new two-component coupled integrable system recently discovered by the author. Connection of the hierarchy of infinitely many Lax pairs with each other is presented.
متن کاملExploiting Symmetries in Stochastic Process Algebras
Stochastic Process Algebras have been introduced to enable compositional performance analysis of parallel and distributed systems. As with other high level modelling formalisms, state space explosion is a frequently observed problem, especially if the system consists of many cooperating components. However, if the components are identical replicas of each others, the state space can be reduced ...
متن کاملMultifractals, Mumford Curves, and Eternal Inflation
We relate the Eternal Symmetree model of Harlow, Shenker, Stanford, and Susskind to constructions of stochastic processes related to quantum statistical mechanical systems on Cuntz– Krieger algebras. We extend the eternal inflation model from the Bruhat–Tits tree to quotients by p-adic Schottky groups, again using quantum statistical mechanics on graph algebras.
متن کامل